翻訳と辞書 Words near each other ・ Laveno-Mombello ・ Laveno-Mombello railway station ・ Lavenone ・ Lavenski Smith ・ Laventan ・ Laventiana ・ Laventie ・ Laventille ・ Laver ・ Laver (ghost town) ・ Laver (seaweed) ・ Laver (surname) ・ Laver Bariu ・ Laver function ・ Laver property ・ Laver table ・ Laveran (crater) ・ Laverania ・ Laveraniina ・ Laveranues Coles ・ Laveraët ・ Lavercantière ・ Laverda ・ Laverda (harvesters) ・ Laverda Jota ・ Laverdines ・ Lavergne ・ LaVergne Glacier ・ Lavergne Law ・ Lavergne, Lot Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Laver table ： ウィキペディア英語版 Laver table In mathematics, Laver tables (named after Richard Laver, who discovered them towards the end of the 1980s in connection with his works on set theory) are tables of numbers that have certain properties. == Definition == For a given a natural number ''n'', one can define the ''n''-th Laver table (with 2''n'' rows and columns) by setting :$L\_n(p,\; q)\; :=\; p\; \backslash star\; q$, where ''p'' denotes the row and ''q'' denotes the column of the entry. Define :$p\; \backslash star\; 1\; :=\; p\; +\; 1\; \backslash mod\; 2^n$ and then calculate the remaining entries of each row from the ''m''-th to the first using the equation :$p\; \backslash star\; (q\; \backslash star\; r)\; :=\; (p\; \backslash star\; q)\; \backslash star\; (p\; \backslash star\; r)$ The resulting table is then called the ''n''-th Laver table; for example, for ''n'' = 2, we have: There is no known closed-form expression to calculate the entries of a Laver table directly.〔. See slide 8/33.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Laver table」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.